Coupled Signature and Specification Matching for Automatic Service Binding

تولید خودکار الگوهای نفوذ جدید با استفاده از طبقه‌بندهای تک کلاسی و روش‌های یادگیری استقرایی

In this paper, we propose an approach for automatic generation of novel intrusion signatures. This approach can be used in the signature-based Network Intrusion Detection Systems (NIDSs) and for the automation of the process of intrusion detection in these systems. In the proposed approach, first, by using several one-class classifiers, the profile of the normal network traffic is established. ...

Service Specification and Matchmaking using Description Logic An Approach Based on Institutions

We propose a formal specification framework for functional aspects of services. We define services as operations which are specified by means of preand postconditions, for the specification of which we use extensions of description logic. The (extensions of) description logic and the specification framework itself are defined as institutions. This gives the framework a uniformity of definition ...

An Automatic Real Time Impedance Matching System for Use in an RF Electrostatics Accelerator Ion Source

FoolProof: A Component Toolkit for Abstract Syntax with Variable Bindings

FOOLPROOF is intended as a component toolkit for implementation of formal languages with binding structures. It provides a coherent collection of components for many common language processing tasks, in particular those related to binding structures. FOOLPROOF consists of: a meta-language for specifying signatures with variable bindings; a signature editor for constructing well-formed signature...

A UML-based Rich Service Description Language for Automatic Service Discovery of Heterogeneous Service Partners

Service-oriented computing (SOC) emerges as a promising trend solving many issues in distributed software development. Following the essence of SOC, service descriptions are defined by the service partners based on current standards, e.g., WSDL [15]. However, these standards are mostly structural and do not provide any behavioral description, which may lead to inaccurate service discovery resul...